<HTML><HEAD><TITLE>Type Testing</TITLE></HEAD><BODY>
[ <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]<H1>Type Testing</H1>
Meta-logical built-ins to test the type of terms
<H2>Predicates</H2>
<BLOCKQUOTE>
<DL>
<DT><A HREF="acyclic_term-1.html"><STRONG>acyclic_term(?Term)</STRONG></A></DT>
<DD>Succeeds if Term is acyclic (finite)</DD>
<DT><A HREF="atom-1.html"><STRONG>atom(?Atom)</STRONG></A></DT>
<DD>Succeeds if Atom is a Prolog atom.

</DD>
<DT><A HREF="atomic-1.html"><STRONG>atomic(?Term)</STRONG></A></DT>
<DD>Succeeds if Term is an atom, a number, or a string.

</DD>
<DT><A HREF="breal-1.html"><STRONG>breal(?Breal)</STRONG></A></DT>
<DD>Succeeds if Breal is a bounded real number.</DD>
<DT><A HREF="callable-1.html"><STRONG>callable(?Term)</STRONG></A></DT>
<DD>Succeeds if Term is callable, i.e. of type atom or compound.</DD>
<DT><A HREF="compound-1.html"><STRONG>compound(?Term)</STRONG></A></DT>
<DD>Succeeds if Term is of type compound, i.e.  a structure or a list.

</DD>
<DT><A HREF="current_atom-1.html"><STRONG>current_atom(?Atom)</STRONG></A></DT>
<DD>Succeeds if Atom is an atom in the system.

</DD>
<DT><A HREF="current_functor-1.html"><STRONG>current_functor(?PredSpec)</STRONG></A></DT>
<DD>Succeeds if PredSpec is a functor known to the system.

</DD>
<DT><A HREF="float-1.html"><STRONG>float(?Real)</STRONG></A></DT>
<DD>Succeeds if Real is a floating point number.</DD>
<DT><A HREF="free-1.html"><STRONG>free(?Var)</STRONG></A></DT>
<DD>Succeeds if Var is a free variable, not an attributed one.

</DD>
<DT><A HREF="get_var_info-3.html"><STRONG>get_var_info(?Var, ?InfoName, -Value)</STRONG></A></DT>
<DD>Succeeds if Var is an uninstantiated variable, InfoName is a valid
information name and the information value Value unifies with the value of
the information.

</DD>
<DT><A HREF="ground-1.html"><STRONG>ground(?Term)</STRONG></A></DT>
<DD>Succeeds if Term is ground.
</DD>
<DT><A HREF="integer-1.html"><STRONG>integer(?Integer)</STRONG></A></DT>
<DD>Succeeds if Integer is an integer number.

</DD>
<DT><A HREF="is_event-1.html"><STRONG>is_event(?Term)</STRONG></A></DT>
<DD>Succeeds if Term is an event name or handle</DD>
<DT><A HREF="is_handle-1.html"><STRONG>is_handle(?Term)</STRONG></A></DT>
<DD>Succeeds if Term is an external data handle.

</DD>
<DT><A HREF="is_list-1.html"><STRONG>is_list(?Term)</STRONG></A></DT>
<DD>Succeeds if Term is a proper list.</DD>
<DT><A HREF="is_suspension-1.html"><STRONG>is_suspension(?Term)</STRONG></A></DT>
<DD>Succeeds if Term is a sleeping suspension.

</DD>
<DT><A HREF="meta-1.html"><STRONG>meta(?Var)</STRONG></A></DT>
<DD>Succeeds if Var is an attributed variable.

</DD>
<DT><A HREF="nonground-1.html"><STRONG>nonground(?VarTerm)</STRONG></A></DT>
<DD>Succeeds if VarTerm is not ground.

</DD>
<DT><A HREF="nonground-2.html"><STRONG>nonground(?Term, -Variable)</STRONG></A></DT>
<DD>Succeeds if Term is not a ground term and binds Variable to one of the
variables inside Term.

</DD>
<DT><A HREF="nonground-3.html"><STRONG>nonground(+N, ?Term, -VarList)</STRONG></A></DT>
<DD>Succeeds if Term contains at least N different variables, and returns N of
them in the list VarList.

</DD>
<DT><A HREF="nonvar-1.html"><STRONG>nonvar(?Term)</STRONG></A></DT>
<DD>Succeeds if Term is instantiated.

</DD>
<DT><A HREF="number-1.html"><STRONG>number(?Number)</STRONG></A></DT>
<DD>Succeeds if Number is a number.

</DD>
<DT><A HREF="rational-1.html"><STRONG>rational(?Rational)</STRONG></A></DT>
<DD>Succeeds if Rational is a rational number.

</DD>
<DT><A HREF="real-1.html"><STRONG>real(?Real)</STRONG></A></DT>
<DD>Succeeds if Real is a real (float or breal) number.</DD>
<DT><A HREF="string-1.html"><STRONG>string(?String)</STRONG></A></DT>
<DD>Succeeds if String is a string.

</DD>
<DT><A HREF="type_of-2.html"><STRONG>type_of(?Term, -Type)</STRONG></A></DT>
<DD>Succeeds if Type is the data type of the term Term.

</DD>
<DT><A HREF="var-1.html"><STRONG>var(?Var)</STRONG></A></DT>
<DD>Succeeds if Var is a variable or an attributed variable.

</DD>
</DL>
</BLOCKQUOTE>
<HR>Generated from typetest.eci on 2009-05-27 01:25
</BODY></HTML>
